1

The -calculus

Year:
2013
Language:
english
File:
PDF, 373 KB
english, 2013
17

An unusual late relapse of metastatic non-seminomatous germ cell tumour

Year:
1994
Language:
english
File:
PDF, 648 KB
english, 1994
20

Effects of Thymic Extract on the Neuromuscular Junction

Year:
1967
File:
PDF, 245 KB
1967
26

Some Lambda Calculus and Type Theory Formalized

Year:
1999
Language:
english
File:
PDF, 208 KB
english, 1999
33

Case report: Infiltrative fibromatosis: A rare cause of fatal haemorrhage

Year:
1986
Language:
english
File:
PDF, 1.25 MB
english, 1986
38

The Elephant in the Room?

Year:
2012
Language:
english
File:
PDF, 95 KB
english, 2012
48

BREAST ASPIRATION CYTOLOGY

Year:
1981
Language:
english
File:
PDF, 169 KB
english, 1981
50

Narrating Formal Proof (Work in Progress)

Year:
2012
Language:
english
File:
PDF, 629 KB
english, 2012